Loop dependence analysis